1. A comparative study of very lage data bases
Author: / Edward Hill, Jr.
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Data base management
Classification :
QA76
.
9
.
D3H54
2. Advances in Database Technology EDBT 2002 :
Author: G Goos
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
D3
G466
2002
3. Algebraic structure theory of sequential machine
Author: HARTMANIS,J
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: SEQUENTIAL MACHINE THEORY
Classification :
QA
267
.
5
.
S4
H3
4. Algebraic structure theory of sequential machines
Author: Hartmanis, Juris
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Sequential machine theory
Classification :
QA
267
.
5
.
S4H3
5. Algebraic structure theory of sequential machines
Author: Hartmanis, Juris.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Sequential machine theory
Classification :
QA
267
.
5
.
S4
.
H3
6. GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen :
Author: edited by G. Goos, J. Hartmanis, D. Gries, P. Brinch Hansen, G. Seegmüller, N. Wirth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Informatique.,Langages formels.
7. Interdisciplinary Conference in the Formal Aspects of Cognitive Processes , Ann Arbor ,M ich , 1972 . Formal aspects of cognitive processes
Author: Edited by G. Goos،J. Hartmanis
Library: Library of Faculty of Psychology and Educational Sciences University of Tehran (Tehran)
Subject: Cognition - Congresses
Classification :
BF
,
311
,.
I56
,
1973
8. LECTURE NOTES IN COMPUTER SCIENCE
پدیدآورنده : J .HARTMANIS
موضوع :
۳ نسخه از این کتاب در ۱ کتابخانه موجود است.
9. LECTURE NOTES IN COMPUTER SCIENCE(weeded)
Author: J. HARTMANIS
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject:
Classification :
C
,
193
10. Lecture notes in artificial intelligence
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject:
Classification :
Q
،
334
،.
P67
،
1989
11. Lecture notes in computer science, 1-100
Author: edited by G. Goos and J. Hartmanis
Library: Library of College of Science University of Tehran (Tehran)
Subject: Periodicals, Indexes ، Computers
Classification :
QA
75
.
5
.
L4
12. Mathematical Foundations of Computer Science 1990
Author: Rovan, B.; editor by G.Goos and J. Hartmanis
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Computer Science - Mathematics - Congresses
Classification :
QA
76
.
9
.
M35
S96
1660
13. Mathematical foundations of computer science
Author: Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
267
.
5
.
S4
S89
1974
14. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
Author: Edited by G. Goos and J. Hartmanis
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages
Classification :
QA
267
.
5
.
S4
S89
1975
15. Reference manual for the Ada programming Language. ANSI/MIL-STD 1815A- 1983
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Ada )Computer program language(
Classification :
QA
76
.
73
.
A16
.
R43
1983
16. Tapsof: Proceedings of the International Joint Conference on theary and Practice of Software Development
Author: Internation Joint Conference on theory and Practice of Software Development, edited by G.Goos and J. Hartmanis
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Computer Software - Development - Cpngresses,، Software Engineering - Congresses,، Trees )Graph theay(- Data Processing - Congresses
Classification :
QA
76
.
76
.
D47
I57
1985
17. computer algebra Eurocam 82,european computer algebra conference Marsellie,france,5-7 April 1982
Author:
Library: Vali Asr University Central Library (Kerman)
Subject: Algebra-data processing
Classification :
QA
155
.
7
.
C6
1982
